require 'Automaton Analyzer'


faa = AutomatonAnalyzer.new false
puts faa.analyze("../samples/Nondeterministic.jff", "ab")
